Lamberov Lev D. «The Concept of Proof in the Context of a Type-Theoretic Approach, II: Proofs of Theorems» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №49 C.34-41
Lamberov Lev D. «The concept of proof in the context of a type-theoretic approach, I: Proof of computer program correctness» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2018. №46 C.49-57
Khromchenko Anna S. «Differences in Conceptions of the Nature of Mathematical Propositions in Frege and Kant» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2021. №61 C.126-134
Rodin Kirill A. «The mirror metaphor and the notion of an extension function» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2016. №2(34) C.181-188
